Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
111	Robotics: Science and Systems, JuneThe Motion Grammar: Linguistic Perception, Planning, and Control Neil Dantam and Mike Stilman School of Interactive Computing, Center fo Add to Reading List Source URL: www.neil.dantam.name Language: English - Date: 2016-07-08 17:59:42 Software engineering Parsing algorithms Formal languages Compiler construction Programming language implementation Software Context-free grammar Syntax Parsing Formal grammar Recursive descent parser Compiler-compiler
112	I N F S Y S RESEARCH R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2003-04-22 21:23:23 Philosophy Epistemology Metaphysics Causality Philosophy of science Formal epistemology Reasoning Bayesian network Probabilistic logic Determinism Causal model Abductive reasoning
113	A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2008-07-02 09:38:12 Mathematics Logic Mathematical logic Boolean algebra Formal languages Model theory Binary decision diagram Model checking IP Boolean satisfiability problem Constructible universe Well-formed formula
114	A Brief Tour of Theoretical Tile Self-Assembly Andrew Winslow Universit´e Libre de Bruxelles, Brussels, Belgium Abstract The author gives a brief historical tour of theoretical tile selfassembly via c Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2016-06-08 17:28:44 Models of computation Theoretical computer science Theory of computation Academia DNA Molecular biology Formal methods Natural computing DNA computing Turing machine
115	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
116	1 Endurants and perdurants in directly depicting ontologies Thomas Bittner a Maureen Donnelly a Barry Smith a,b Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-08-09 19:57:54 Ontology Philosophy Metaphysics Academia Information science Knowledge representation Technical communication Constructible universe Temporal parts Formal ontology
117	Microsoft PowerPointTunis Brauer.pptx Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2014-06-30 10:08:35 Surname Petri nets Theoretical computer science Formal methods Concurrency Diagrams Models of computation Wilfried Brauer Carl Adam Petri Brauer Petri Rdiger Valk
118	Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-07-29 15:55:34 Logic Theoretical computer science Logic in computer science Mathematics Lambda calculus Formal languages Mathematical logic Syntax Combinatory logic FO Well-formed formula Logic programming
119	Formal Concept Analysis for Qualitative Data Analysis over Triple Stores Frithjof Dau and Barı¸s Sertkaya SAP Research Center Dresden, Germany (frithjof.dau\|baris.sertkaya)@sap.com Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2012-03-18 07:41:23 Computing Semantic Web Information science Information Ontology Knowledge representation Technical communication Knowledge engineering Formal concept analysis Data model Resource Description Framework Entityrelationship model
120	LBFO: toward an artificial language for ontology development Leonard F Jacuzzo National Center for Biomedical Ontology, Ontology Research Group, SUNY Center of Excellence in Bioinformatics Nature Precedings : doi:10.103 Add to Reading List Source URL: precedings.nature.com Language: English Information science Knowledge representation Ontology Logic Formal languages Philosophy Abstraction Upper ontology Basic Formal Ontology Well-formed formula Formal ontology Symbol

UPDATE